应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

基于删除平均的VI-CFAR检测器

针对MLVI-CFAR检测器在多个随机分布干扰目标背景下检测性能不好,以及OSVI-CFAR检测器在均匀环境和仅单滑窗存在干扰目标的环境下检测性能欠佳问题,提出了一种基于删除平均(CML)的VI-CFAR检测器(CMLVI-CFAR).仿真验证了CMLVI-CFAR检测器在均匀背景及多目标干扰环境下,都具有比MLVI和OSVI-CFAR检测器好的检测性能,并且其在杂波边缘背景下的虚警控制能力与前两者也基本一致,说明其在实际杂波环境中具有更强的鲁棒性和良好的应用潜力.     

Inventory control and periodic price discounting campaigns

This paper develops an inventory model that determines replenishment strategies for buyers facing situations in which sellers offer price‐discounting campaigns at random times as a way to drive sales or clear excess inventory. Specifically, the model deals with the inventory of a single item that is maintained to meet a constant demand over time. The item can be purchased at two different prices denoted high and low. We assume that the low price goes into effect at random points in time following an exponential distribution and lasts for a random length of time following another exponential distribution. We highlight a replenishment strategy that will lead to the lowest inventory holding and ordering costs possible. This strategy is to replenish inventory only when current levels are below a certain threshold when the low price is offered and the replenishment is to a higher order‐up‐to level than the one currently in use when inventory depletes to zero and the price is high. Our analysis provides new insight into the behavior of the optimal replenishment strategy in response to changes in the ratio of purchase prices together with changes in the ratio of the duration of a low‐price period to that of a high‐price period. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

航天器智能能力的构建

为解决航天器智能能力的构建和智能技术的引入问题,从能力部署视角提出了智能等级的划分,从定性的自动、自治、自主的等级出发,自底向上分解为数据注入接收能力、任务执行能力、自学习能力、系统自我管理能力、任务自我管理和思考能力,其程度分为底层反应、中层程序和高层思考。对照上述能力给出可实施的5阶模型和人字架构。人字架构是以即插即用技术加自主控制技术来支持上层智能能力的模型。该模型基于航天器接口业务架构和欧洲空间局的包应用标准业务,采用管理信息库和电子数据单技术进行数据化设计。对应星上的智能能力等级讨论相适应的地面系统能力。人字架构具有层次化、业务模型化和自底向上归一化构建的特点,对上层智能技术的引入是开放的。     

基于凸-改进遗传算法的圆阵列方向图联合优化

针对圆形阵列方向图具有较高旁瓣的问题,提出一种新的基于凸优化和改进遗传算法的优化方法。该方法首先采用遗传算法将阵元位置和阵元权值作为优化变量,以最小化波束方向图峰值旁瓣为目标函数进行联合优化,既增加了变量的自由度,又符合理论意义上的全局寻优;同时,为了避免算法的早熟收敛,对基本遗传算法进行了必要的改进。然后采用凸优化方法对阵元权值进行二次优化可进一步降低旁瓣电平,与传统方法相比能够明显提高优化效果的稳定性。仿真数据证实了该方法的有效性和正确性。     

多点源交叉波束干涉效应特征分析

介绍多点源交叉波束通过干涉效应实现交汇空间功率合成的基本原理,根据空间功率合成机理,建立对功率合成效率、同相叠加点间距的计算机仿真,完成多点源交叉波束干涉效应特征分析,以此作为多点源交叉波束空间功率合成的评估依据。     

飞机任务系统任务合成技术研究

针对复杂环境、复杂任务以及复杂作战过程的现状,首次提出了任务合成的概念、任务合成的运行架构并建立了验证环境,为提升未来飞机作战能力提供了理论基础和参考。任务合成技术分为任务态势感知模式合成、任务计划评估决策模式合成、任务执行与管理模式合成,通过构建任务模式和活动组织,依据任务目标和任务架构,确定系统任务能力、目标和状态组织结构,形成系统任务合成模式,从而达到提升任务系统响应、任务优化、任务执行的能力和品质的目的。     

激发基层政工干部内动力的几点思考

基层政工干部由于角色认同偏低、成就动机较弱以及组织归属感不强，导致内动力不足。激发基层政工干部内动力，要优化基层政治工作的大环境，满足基层政工干部的职业归属感；创新管理机制，拓展基层政工干部发展空间；加强组织引导，激发基层政工干部潜能，使他们将工作积极性由被动转化为主动，保持持久活力。     

舰艇编队综合作战能力评估的模糊聚类分析

评估舰艇编队综合作战能力强弱的模糊聚类分析涉及编队对海作战能力、编队反潜作战能力、编队防空作战能力、编队电子战能力、编队指挥控制能力和编队战场适应能力等因素.以若干舰艇编队为研究对象,对因素指标进行标准量化.据标准化数据用指数相似系数法计算样本间的相似关系,最后根据各样本与基准样本相聚类或分离进行量化分析,判断各舰艇编队综合作战能力的强弱次序.     

任意张角水平对称天线的矩量法计算

以任意张角的水平对称天线为研究对象,应用矩量法对其进行计算,给出了利用矩量法求解天线问题的一般思路.基于Pocklington积分方程和Galerking法,采用分域积 Dirac函数展开及点匹配模式,计算得出此类天线的电流分布、输入阻抗和辐射方向图,并对不同张角和电长度的水平对称天线进行了比较,在实际使用中可根据不同通信要求对天线进行选择.